|
In topology, an open map is a function between two topological spaces which maps open sets to open sets. That is, a function ''f'' : ''X'' → ''Y'' is open if for any open set ''U'' in ''X'', the image ''f''(''U'') is open in ''Y''. Likewise, a closed map is a function which maps closed sets to closed sets.〔 A map may be open, closed, both, or neither;〔 (The quoted statement in given in the context of metric spaces but as topological spaces arise as generalizations of metric spaces, the statement holds there as well.)〕 in particular, an open map need not be closed and vice versa. Open and closed maps are not necessarily continuous.〔 Further, continuity is independent of openness and closedness in the general case and a continuous function may have one, both, or neither property;〔 this fact remains true even if one restricts oneself to metric spaces. Although their definitions seem more natural, open and closed maps are much less important than continuous maps. Recall that, by definition, a function ''f'' : ''X'' → ''Y'' is continuous if the preimage of every open set of ''Y'' is open in ''X''.〔 (Equivalently, if the preimage of every closed set of ''Y'' is closed in ''X''). Early study of open maps was pioneered by Simion Stoilow and Gordon Thomas Whyburn. ==Examples== Every homeomorphism is open, closed, and continuous. In fact, a bijective continuous map is a homeomorphism if and only if it is open, or equivalently, if and only if it is closed. If ''Y'' has the discrete topology (i.e. all subsets are open and closed) then every function ''f'' : ''X'' → ''Y'' is both open and closed (but not necessarily continuous). For example, the floor function from R to Z is open and closed, but not continuous. This example shows that the image of a connected space under an open or closed map need not be connected. Whenever we have a product of topological spaces ''X''=Π''X''''i'', the natural projections ''p''''i'' : ''X'' → ''X''''i'' are open (as well as continuous). Since the projections of fiber bundles and covering maps are locally natural projections of products, these are also open maps. Projections need not be closed however. Consider for instance the projection ''p''1 : R2 → R on the first component; ''A'' = is closed in R2, but ''p''1(''A'') = R − is not closed. However, for compact ''Y'', the projection ''X'' × ''Y'' → ''X'' is closed. This is essentially the tube lemma. To every point on the unit circle we can associate the angle of the positive ''x''-axis with the ray connecting the point with the origin. This function from the unit circle to the half-open interval The function ''f'' : R → R with ''f''(''x'') = ''x''2 is continuous and closed, but not open. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Open and closed maps」の詳細全文を読む スポンサード リンク
|